/*!* GitHub Theme *!*/
/*!* Pretty printing styles. Used with prettify.js. *!*/
/*!* SPAN elements with the classes below are added by prettyprint. *!*/
/*!* plain text *!*/
/*.pln {*/
  /*color: #333333;*/
/*}*/
/*.prettyprint{overflow:auto!important;}*/

/*@media screen {*/
  /*!* string content *!*/
  /*.str {*/
    /*!*color: #389651;*!*/
  /*}*/

  /*!* a keyword *!*/
  /*.kwd {*/
    /*color: #333333;*/
  /*}*/

  /*!* a comment *!*/
  /*.com {*/
    /*color: #75438a;*/
  /*}*/

  /*!* a type name *!*/
  /*.typ {*/
    /*color: #445588;*/
  /*}*/

  /*!* a literal value *!*/
  /*.lit {*/
    /*color: #75438a;*/
  /*}*/

  /*!* punctuation *!*/
  /*.pun {*/
    /*color: #333333;*/
  /*}*/

  /*!* lisp open bracket *!*/
  /*.opn {*/
    /*color: #333333;*/
  /*}*/

  /*!* lisp close bracket *!*/
  /*.clo {*/
    /*color: #333333;*/
  /*}*/

  /*!* a markup tag name *!*/
  /*.tag {*/
    /*color: navy;*/
  /*}*/

  /*!* a markup attribute name *!*/
  /*.atn {*/
    /*color: teal;*/
  /*}*/

  /*!* a markup attribute value *!*/
  /*.atv {*/
    /*color: #dd1144;*/
  /*}*/

  /*!* a declaration *!*/
  /*.dec {*/
    /*color: #333333;*/
  /*}*/

  /*!* a variable name *!*/
  /*.var {*/
    /*color: teal;*/
  /*}*/

  /*!* a function name *!*/
  /*.fun {*/
    /*color: #990000;*/
  /*}*/
/*}*/
/*!* Use higher contrast and text-weight for printable form. *!*/
/*@media print, projection {*/
  /*.str {*/
    /*!*color: #006600;*!*/
  /*}*/

  /*.kwd {*/
    /*color: #006;*/
    /*font-weight: bold;*/
  /*}*/

  /*.com {*/
    /*color: #75438a;*/
    /*font-style: italic;*/
  /*}*/

  /*.typ {*/
    /*color: #404;*/
    /*font-weight: bold;*/
  /*}*/

  /*.lit {*/
    /*color: #004444;*/
  /*}*/

  /*.pun, .opn, .clo {*/
    /*color: #444400;*/
  /*}*/

  /*.tag {*/
    /*color: #006;*/
    /*font-weight: bold;*/
  /*}*/

  /*.atn {*/
    /*color: #440044;*/
  /*}*/

  /*.atv {*/
    /*color: #006600;*/
  /*}*/
/*}*/
/*!* Style *!*/
/*pre {*/
  /*background: #f6f6f6;*/
  /*font-family: Menlo, "Bitstream Vera Sans Mono", "DejaVu Sans Mono", Monaco, Consolas, monospace;*/
  /*font-size: 13px;*/
  /*line-height: 1.5;*/
  /*border:1px solid #dee1e4;*/
  /*padding: 20px;*/
  /*margin-bottom: 30px;*/
  /*overflow:scroll;*/
/*}*/

/*!* Specify class=linenums on a pre to get line numbering *!*/
/*ol.linenums {*/
  /*margin-top: 0;*/
  /*margin-bottom: 0;*/
  /*color: #888;*/
/*}*/

/*.linenums li {*/
  /*background: #FAFAFA;*/
  /*padding-left: 10px;*/
  /*border-left: 1px solid #CCC;*/
/*}*/

/*.linenums li {*/
  /*padding-top: 5px;*/
/*}*/

/*.linenums li + li {*/
  /*padding-top: 0;*/
/*}*/

/*.linenums li:last-child {*/
  /*padding-bottom: 5px;*/
/*}*/



/*!* IE indents via margin-left *!*/
/*li.L0,*/
/*li.L1,*/
/*li.L2,*/
/*li.L3,*/
/*li.L4,*/
/*li.L5,*/
/*li.L6,*/
/*li.L7,*/
/*li.L8,*/
/*li.L9 {*/
  /*!* *!*/
/*}*/

/*!* Alternate shading for lines *!*/
/*li.L1,*/
/*li.L3,*/
/*li.L5,*/
/*li.L7,*/
/*li.L9 {*/
  /*!* *!*/
/*}*/
